corollary of thales